Static Semantics as Program Transformation and Well-founded Computation

نویسندگان

  • Stefania Costantini
  • Gaetano Aurelio Lanzarone
چکیده

In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal programs. Based on considerations about how disjunctive information is treated by a given semantics, we divide the computation of that semantics into two phases. The first one is a program transformation phase, which applies axiom schemata expressing how derivations involving disjunctions are made in the given semantic framework. The second one is a constructive phase, based on a variation of the well-founded model construction for normal programs. We apply this two-phases procedural semantics to the computation of the static semantics of disjunctive logic programs as a case-study, showing how it works and what its results are in several examples. A main perspective of this proposal is a procedural semantics for disjunctive programs consisting of an inefficient preprocessing phase (implementing the program transformation procedure), to be however performed only once, and of an efficient runtime computation, obtained as a variation of any effective procedural semantics for the well-founded model.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stabel Model Implementation of Layer Supported Models by Program Transformation

• For practical applications, availability of a top-down query-driven procedure is most convenient for ease of use and efficient computation of answers, when employing Logic Programs as knowledge bases • 2-valued semantics for Normal Logic Programs (NLPs) allowing top-down query-solving is highly desirable, but the Stable Models semantics (SM) does not permit it, for lack of the " relevance " p...

متن کامل

The Limits of Fixed-Order Computation

Fixed-order computation rules, used by Prolog and most deductive database systems, do not suuce to compute the well-founded semantics 29] because they cannot properly resolve loops through negation. This inadequacy is reeected both in formulations of SLS-resolution 17, 23] which is an ideal search strategy, and in more practical strategies like SLG 5], or Well-Founded Ordered Search 27]. Typica...

متن کامل

A Well-Founded Semantics with Disjunction

In this paper we develop a new semantics for disjunctive logic programs, called Well-Founded Semantics with Disjunction (WFSd), by resorting to a fixed point-based operator. Coinciding with the WellFounded Semantics (WFS) for normal logic programs, our semantics is uniquely defined for every disjunctive logic program. By exploring examples, we show WFSd does not agree with any other semantics w...

متن کامل

Default Negated Conclusions: Why Not?

We address the issue of the syntactical assymetry of logic programs: can one allow default negated literals in the heads ? This issue has been resolved positively, with full generality for the Stable Models based Answer Sets Semantics and, more recently, for the Well-founded Model based Static Semantics, for a wide class of programs. The work by Jonker also explores this issue for IMEX semantic...

متن کامل

Flexible computation of the well-founded semantics of normal logic programs

The development and maintenance of modern information systems, that are getting more and more complex and, at the same time, require a high flexibility, is a great challenge for current information and communication technology. One contribution is the usage of a rule-based specification mechanism that allows the compact and declarative description of complex situations. One such rule language i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994